вывод (формального языка)

См. также в других словарях:

• вывод (формального языка) — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN derivative (of a formal language) …   Справочник технического переводчика

• ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… …   Философская энциклопедия

• Формальная грамматика — Генеративная лингвистика …   Википедия

• Грамматика формальная — Формальная грамматика или просто грамматика в теории формальных языков способ описания формального языка, то есть выделения некоторого подмножества из множества всех слов некоторого конечного алфавитa. Различают порождающие и распознающие (или… …   Википедия

• Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от …   Википедия

• Рекурсивно перечислимый язык — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источни …   Википедия

• Киреевский, Иван Васильевич — критик и мыслитель, род. в Москве 22 марта 1806 года, ум. 11 июня 1856 года в Петербурге. Он принадлежал к одному из самых старинных родов белевских и козельских дворян. Отец его, Василий Иванович Киреевский, служил в гвардии и вышел в отставку… …   Большая биографическая энциклопедия

• Методы домарксистского литературоведения — I. Метод и мировоззрение. II. Проблемы историографии домарксистского литературоведения. III. Краткий обзор основных течений домарксистского литературоведения. 1. Филологическое изучение памятников слова. 2. Эстетический догматизм (Буало, Готтшед …   Литературная энциклопедия

• Права человека — (Human rights) Понятие прав человека, конституционные права и свободы Информация о понятии прав человека, конституционные права и свободы Содержание Содержание Раздел 1. Становление и развитие правового статуса человека и гражданина в… …   Энциклопедия инвестора

• Математическая лингвистика — Математическая лингвистика  математическая дисциплина, предметом которой является разработка формального аппарата для описания строения естественных и некоторых искусственных языков. Возникла в 50‑х гг. 20 в.; одним из главных стимулов появления… …   Лингвистический энциклопедический словарь

• БИБЛЕИСТИКА — историко филологическая наука, изучающая Библию как лит. произведение посредством текстологического (т. н. низшая критика; нем. Textkritik; англ. textual criticism, lower criticism) и лит. анализа (нем. Literarkritik, höhere Kritik; англ. higher… …   Православная энциклопедия